- Гедель
- комп. Гедель, геделевский, геделивский — Godel
Дополнительный универсальный русско-английский словарь. 2013.
Гедель
Смотреть что такое "Гедель" в других словарях:
ГЕДЕЛЬ — (Godel) Курт (1906 78), американский математик. Родился в Чехословакии. Широко известен благодаря своей «неразрешимой» и «незавершенной» теореме, доказательство которой было впервые опубликовано в техническом журнале в Германии в 1931 г. Согласно … Научно-технический энциклопедический словарь
ГЕДЕЛЬ (Godel) Курт — (1906 78) логик и математик. Родился в Австро Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной… … Большой Энциклопедический словарь
ГЕДЕЛЬ Курт — (Godel, Kurt) (1906 1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. В 1924 поступил в Венский университет, в 1930 защитил докторскую… … Энциклопедия Кольера
Гедель К. — … Википедия
Гедель — … Википедия
Гедель, Курт — … Википедия
Гедель Курт — … Википедия
Курт Гедель — Курт Гёдель Курт Гёдель Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д … Википедия
Математический интуиционизм — философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… … Большая советская энциклопедия
Вильгельм I Германский — (Фридрих Людвиг) император германский и король прусский, второй сын короля Фридриха Вильгельма III и королевы Луизы, родился 22 марта 1797 г. в Берлине. После битвы при Иене он со своими родителями, братьями и сестрами прожил три года в… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… … Философская энциклопедия
